tooltip: Ignore events with pressed buttons
authorTimm Bäder <mail@baedert.org>
Sun, 15 Apr 2018 15:00:32 +0000 (17:00 +0200)
committerTimm Bäder <mail@baedert.org>
Sun, 15 Apr 2018 15:12:01 +0000 (17:12 +0200)
commitb0e9dc47234ab47ce0b5f1a7f9655549aa40a20a
tree3b1dcf95b1110a27c0bd42f2287fa6a55009c3a9
parent4336c6412ab6c71f86cb3a105bf0ac8e20f2ae3e
tooltip: Ignore events with pressed buttons

We dont' want to show tooltips in those cases.
gtk/gtktooltip.c